This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlo......

针对大型系统多故障诊断的复杂性,提出利用抽象技术建立的简化层次模型进行诊断。把抽象技术分为结构抽象和行为抽象,结构抽象建立......